Логическая выводимость

Translation логическая выводимость into english

Логическая выводимость этой аксиомы не вызывает сомнений.

The logical derivability of this axiom is beyond doubt.